Formal Specification and Testing of a Management Architecture

The importance of network and distributed systems management to supply and maintain services required by users has led to a demand for management facilities. Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects. This paper examines the application of formal description techniques to the specification of managed objects by presenting a case study in the specification and testing of a management architecture. We describe a formal specification of a management architecture suitable for scheduling and distributing services across nodes in a distributed system. In addition, we show how formal specifications can be used to generate conformance tests for the management architecture

Treatment of Ifosfamide -induced Encephalopathy with Methylene Blue in an Adolescent with Relapsed Acute Lymphoblastic Leukemia: a case report

Abstract: Ifosfamide is one of the most important chemotherapeutic agents used for the treatment of numerous types of malignancies. Neurotoxicity is one of its life-threatening complications and is potentially fatal. In this paper we present a case of severe ifosfamide- induced encephalopathy in an adolescent with acute lymphoblastic leukemia in whom treatment with methylene blue led to complete improvement of neurologic symptoms. Keywords: Encephalopathy, ifosfamide, methylene blue, Leukemi